F. Sáenz-Pérez: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Methylene diphenyl diisocyanate (MDI) and toluene diisocyanate (TDI) based polyurethanes: thermal, shape-memory and mechanical behavior

Sáenz-Pérez, Míriam, Lizundia, Erlantz, Laza, José Manuel, García-Barrasa, Jorge, Vilas, Jose Luis, León, Luis Manuel

Journal:

Year:

2016

Language:

english

File:

PDF, 2.30 MB

english, 2016

2

Novel shape-memory polyurethane fibers for textile applications

Sáenz-Pérez, Míriam, Bashir, Tariq, Laza, José Manuel, García-Barrasa, Jorge, Vilas, José Luis, Skrifvars, Mikael, León, Luis Manuel

Journal:

Textile Research Journal

Year:

2018

Language:

english

File:

PDF, 891 KB

english, 2018

3

Applying Constraint Logic Programming to SQL Semantic Analysis

SÁENZ-PÉREZ, FERNANDO

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 452 KB

english, 2019

4

DES: A Deductive Database System

Fernando Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 558 KB

english, 2011

5

Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-life Employee Timetabling Problem

Castiñeiras, Ignacio, Sáenz-Pérez, Fernando

Journal:

Procedia Computer Science

Year:

2013

Language:

english

File:

PDF, 164 KB

english, 2013

6

A Fuzzy Datalog Deductive Database System

Julian-Iranzo, Pascual, Saenz-Perez, Fernando

Journal:

IEEE Transactions on Fuzzy Systems

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

7

[IEEE 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - Naples, Italy (2017.7.9-2017.7.12)] 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - FuzzyDES or how DES Met Bousi-Prolog

Julian-Iranzo, Pascual, Saenz-Perez, Fernando

Year:

2017

Language:

english

File:

PDF, 281 KB

english, 2017

8

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, Jaime

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 2.30 MB

english, 2019

9

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

S. Estévez-Martín, A.J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 403 KB

english, 2007

10

A New Proposal for Debugging Datalog Programs

R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

11

TOY: A System for Experimenting with Cooperation of Constraint Domains

S. Estévez-Martín, A.J. Fernández Leiva, F. Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 545 KB

english, 2009

12

Programmed Search in a Timetabling Problem over Finite Domains

R. González-del-Campo, F. Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 291 KB

english, 2007

13

Outer Joins in a Deductive Database System

Fernando Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 239 KB

english, 2012

14

XPath Query Processing in a Functional-Logic Language

J.M. Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 383 KB

english, 2012

15

PARISIAN MEDICAL INTELLIGENCE.

Aranda-López, Gabriel, Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, Jaime

Journal:

Year:

1861

Language:

english

File:

PDF, 406 KB

english, 1861

16

An extended constraint deductive database: Theory and implementation

Aranda-López, Gabriel, Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, Jaime

Journal:

The Journal of Logic and Algebraic Programming

Year:

2014

Language:

english

File:

PDF, 585 KB

english, 2014

17

Using Datalog to provide just-in-time feedback during the construction of concept maps

Álvarez-Montero, Francisco J., Sáenz-Pérez, Fernando, Vaquero-Sánchez, Antonio

Journal:

Expert Systems with Applications

Year:

2015

Language:

english

File:

PDF, 2.29 MB

english, 2015

18

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Implementing Tabled Hypothetical Datalog

Saenz-Perez, Fernando

Year:

2013

Language:

english

File:

PDF, 185 KB

english, 2013

19

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Cooperation of constraint domains in the TOY system

Estévez-Martín, Sonia, Fernández, Antonio J., Hortalá-González, Teresa, Rodríguez-Artalejo, Mario, Sáenz-Pérez, Fernando, del Vado Vírseda, Rafael

Year:

2008

Language:

english

File:

PDF, 275 KB

english, 2008

20

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas

Aranda-López, Gabriel, Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, Jaime

Year:

2009

Language:

english

File:

PDF, 239 KB

english, 2009

21

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - Debugging of wrong and missing answers for datalog programs with constraint handling rules

Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando

Year:

2015

Language:

english

File:

PDF, 824 KB

english, 2015

22

On the cooperation of the constraint domains , ℛ, and ℱ in CFLP

ESTÉVEZ-MARTÍN, S., HORTALÁ-GONZÁLEZ, T., RODRÍGUEZ-ARTALEJO, M., DEL VADO-VÍRSEDA, R., SÁENZ-PÉREZ, F., FERNÁNDEZ, A. J.

Journal:

Theory and Practice of Logic Programming

Year:

2009

Language:

english

File:

PDF, 825 KB

english, 2009

23

Constraint functional logic programming over finite domains

FERNÁNDEZ, ANTONIO J., HORTALÁ-GONZÁLEZ, TERESA, SÁENZ-PÉREZ, FERNANDO, DEL VADO-VÍRSEDA, RAFAEL

Journal:

Theory and Practice of Logic Programming

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

24

Physical aging and mechanical performance of poly ( l -lactide)/ZnO nanocomposites

Lizundia, Erlantz, Pérez-Álvarez, Leyre, Sáenz-Pérez, Míriam, Patrocinio, David, Vilas, José Luis, León, Luis Manuel

Journal:

Journal of Applied Polymer Science

Year:

2016

Language:

english

File:

PDF, 582 KB

english, 2016

25

Nanopatterned polystyrene-b-poly(acrylic acid) surfaces to modulate cell-material interaction

Lizundia, Erlantz, Sáenz-Pérez, Míriam, Patrocinio, David, Aurrekoetxea, Iskander, dM Vivanco, Maria, Vilas, José Luis

Journal:

Materials Science and Engineering: C

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017

26

Influence of the soft segment nature on the thermomechanical behavior of shape memory polyurethanes

Sáenz-Pérez, Míriam, Laza, José Manuel, García-Barrasa, Jorge, Vilas, José Luis, León, Luis Manuel

Journal:

Polymer Engineering & Science

Year:

2017

Language:

english

File:

PDF, 692 KB

english, 2017

27

Enhancing Set Constraint Solvers with Bound Consistency

Correas, J., Martín, S. Estévez, Sáenz-Pérez, F.

Journal:

Expert Systems with Applications

Year:

2017

Language:

english

File:

PDF, 7.35 MB

english, 2017

28

Relational calculi in a deductive system

Sáenz-Pérez, Fernando

Journal:

Expert Systems with Applications

Year:

2018

Language:

english

File:

PDF, 2.40 MB

english, 2018

29

Applying Constraint Logic Programming to SQL Semantic Analysis

SÁENZ-PÉREZ, FERNANDO

Journal:

Theory and Practice of Logic Programming

Year:

2019

File:

PDF, 452 KB

2019

30

Proximity-based Unification: an Efficient Implementation Method

Julian-Iranzo, Pascual, Saenz-Perez, Fernando

Journal:

IEEE Transactions on Fuzzy Systems

Year:

2020

File:

PDF, 1.43 MB

2020

31

[IEEE 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - Glasgow, United Kingdom (2020.7.19-2020.7.24)] 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - A System implementing Fuzzy Hypothetical Datalog â

Julian-Iranzo, Pascual, Saenz-Perez, Fernando

Year:

2020

File:

PDF, 892 KB

2020